Instance,nrRules,success,nrStates,n,runtime_ms
1,5,1,3,1,18
2,5,1,3,1,3
3,5,1,3,1,3
4,5,1,3,1,2
5,5,1,3,1,2
6,5,1,3,1,2
7,5,1,3,1,2
8,5,1,3,1,2
9,5,1,3,1,2
10,5,1,3,1,2
11,5,1,3,1,2
12,5,1,3,1,2
13,5,1,3,1,2
14,5,1,3,1,1
15,5,1,3,1,1
16,5,1,3,1,2
17,5,1,3,1,1
18,5,1,3,1,1
19,5,1,3,1,1
20,5,1,3,1,1
21,5,1,3,1,1
22,68,1,21,2,9
23,68,1,21,2,7
24,68,1,21,2,6
25,68,1,21,2,5
26,68,1,21,2,5
27,68,1,21,2,4
28,68,1,21,2,4
29,68,1,21,2,4
30,68,1,21,2,4
31,68,1,21,2,4
32,68,1,21,2,3
33,68,1,21,2,3
34,68,1,21,2,3
35,68,1,21,2,3
36,68,1,21,2,3
37,68,1,21,2,3
38,68,1,21,2,2
39,68,1,21,2,2
40,68,1,21,2,2
41,68,1,21,2,3
42,68,1,21,2,3
43,68,1,21,2,3
44,68,1,21,2,2
45,68,1,21,2,2
46,68,1,21,2,2
47,68,1,21,2,2
48,68,1,21,2,3
49,68,1,21,2,2
50,68,1,21,2,2
51,68,1,21,2,2
52,68,1,21,2,2
53,68,1,21,2,2
54,68,1,21,2,2
55,68,1,21,2,2
56,68,1,21,2,2
57,68,1,21,2,2
58,68,1,21,2,2
59,68,1,21,2,2
60,68,1,21,2,2
61,68,1,21,2,2
62,68,1,21,2,2
63,68,1,21,2,2
64,68,1,21,2,2
65,68,1,21,2,2
66,68,1,21,2,1
67,68,1,21,2,2
68,68,1,21,2,2
69,68,1,21,2,2
70,68,1,21,2,2
71,68,1,21,2,2
72,68,1,21,2,2
73,68,1,21,2,2
74,68,1,21,2,2
75,68,1,21,2,2
76,68,1,21,2,2
77,68,1,21,2,1
78,68,1,21,2,1
79,68,1,21,2,2
80,68,1,21,2,2
81,68,1,21,2,2
82,68,1,21,2,1
83,68,1,21,2,1
84,68,1,21,2,1
85,68,1,21,2,1
86,68,1,21,2,1
87,68,1,21,2,1
88,68,1,21,2,1
89,68,1,21,2,1
90,68,1,21,2,1
91,68,1,21,2,1
92,68,1,21,2,1
93,68,1,21,2,1
94,68,1,21,2,1
95,68,1,21,2,1
96,68,1,21,2,1
97,68,1,21,2,1
98,68,1,21,2,1
99,68,1,21,2,1
100,68,1,21,2,1
101,68,1,21,2,2
102,68,1,21,2,2
103,68,1,21,2,1
104,68,1,21,2,1
105,68,1,21,2,1
106,68,1,21,2,1
107,68,1,21,2,1
108,68,1,21,2,1
109,68,1,21,2,1
110,68,1,21,2,1
111,68,1,21,2,1
112,68,1,21,2,1
113,68,1,21,2,1
114,68,1,21,2,1
115,68,1,21,2,1
116,68,1,21,2,2
117,68,1,21,2,2
118,68,1,21,2,1
119,68,1,21,2,1
120,68,1,21,2,1
121,170,1,37,2,5
122,68,1,21,2,2
123,68,1,21,2,1
124,68,1,21,2,1
125,68,1,21,2,1
126,68,1,21,2,1
127,68,1,21,2,1
128,68,1,21,2,1
129,68,1,21,2,1
130,68,1,21,2,1
131,68,1,21,2,1
132,68,1,21,2,1
133,68,1,21,2,1
134,68,1,21,2,1
135,68,1,21,2,1
136,68,1,21,2,1
137,68,1,21,2,1
138,68,1,21,2,1
139,68,1,21,2,1
140,68,1,21,2,1
141,68,1,21,2,1
142,68,1,21,2,1
143,68,1,21,2,1
144,68,1,21,2,1
145,68,1,21,2,1
146,68,1,21,2,1
147,68,1,21,2,1
148,68,1,21,2,1
149,68,1,21,2,1
150,271,1,59,3,4
151,271,1,59,3,3
152,271,1,59,3,4
153,271,1,59,3,3
154,271,1,59,3,4
155,271,1,59,3,3
156,271,1,59,3,3
157,271,1,59,3,3
158,271,1,59,3,3
159,271,1,59,3,3
160,271,1,59,3,3
161,271,1,59,3,3
162,271,1,59,3,3
163,271,1,59,3,3
164,271,1,59,3,3
165,271,1,59,3,4
166,271,1,59,3,2
167,271,1,59,3,2
168,271,1,59,3,2
169,271,1,59,3,2
170,271,1,59,3,2
171,271,1,59,3,2
172,111,0,30,3,1
173,271,1,59,3,3
174,111,0,30,3,2
175,271,1,59,3,2
176,271,1,59,3,2
177,271,1,59,3,2
178,271,1,59,3,2
179,271,1,59,3,2
180,271,1,59,3,2
181,111,0,30,3,1
182,271,1,59,3,2
183,271,1,59,3,2
184,271,1,59,3,2
185,271,1,59,3,2
186,111,0,30,3,2
187,271,1,59,3,2
188,271,1,59,3,2
189,271,1,59,3,2
190,271,1,59,3,2
191,271,1,59,3,2
192,111,0,30,3,1
193,271,1,59,3,2
194,271,1,59,3,2
195,271,1,59,3,2
196,271,1,59,3,1
197,271,1,59,3,1
198,271,1,59,3,2
199,271,1,59,3,1
200,271,1,59,3,1
201,271,1,59,3,1
202,271,1,59,3,1
203,271,1,59,3,2
204,271,1,59,3,1
205,271,1,59,3,2
206,271,1,59,3,2
207,271,1,59,3,1
208,271,1,59,3,1
209,271,1,59,3,1
210,271,1,59,3,1
211,271,1,59,3,1
212,271,1,59,3,1
213,271,1,59,3,1
214,271,1,59,3,1
215,271,1,59,3,1
216,271,1,59,3,1
217,271,1,59,3,1
218,271,1,59,3,1
219,271,1,59,3,1
220,271,1,59,3,1
221,271,1,59,3,1
222,271,1,59,3,1
223,111,0,30,3,1
224,271,1,59,3,1
225,111,0,30,3,0
226,271,1,59,3,1
227,271,1,59,3,1
228,271,1,59,3,1
229,271,1,59,3,1
230,271,1,59,3,1
231,271,1,59,3,1
232,271,1,59,3,1
233,271,1,59,3,1
234,271,1,59,3,1
235,271,1,59,3,1
236,271,1,59,3,1
237,271,1,59,3,1
238,271,1,59,3,1
239,111,0,30,3,0
240,271,1,59,3,1
241,111,0,30,3,0
242,271,1,59,3,1
243,271,1,59,3,1
244,271,1,59,3,1
245,271,1,59,3,1
246,271,1,59,3,1
247,271,1,59,3,1
248,271,1,59,3,1
249,271,1,59,3,1
250,271,1,59,3,1
251,271,1,59,3,1
252,271,1,59,3,1
253,271,1,59,3,1
254,271,1,59,3,1
255,271,1,59,3,2
256,271,1,59,3,2
257,271,1,59,3,2
258,271,1,59,3,1
259,271,1,59,3,1
260,271,1,59,3,1
261,271,1,59,3,1
262,271,1,59,3,1
263,271,1,59,3,1
264,271,1,59,3,1
265,271,1,59,3,1
266,271,1,59,3,1
267,271,1,59,3,1
268,271,1,59,3,1
269,271,1,59,3,1
270,982,1,145,4,4
271,554,1,105,4,3
272,272,0,60,4,1
273,554,1,105,4,2
274,982,1,145,4,3
275,554,1,105,4,2
276,982,1,145,4,3
277,982,1,145,4,3
278,982,1,145,4,3
279,982,1,145,4,3
280,272,0,60,4,1
281,554,1,105,4,2
282,554,1,105,4,2
283,1804,1,209,4,5
284,554,1,105,4,2
285,982,1,145,4,3
286,554,1,105,4,2
287,554,1,105,4,2
288,982,1,145,4,3
289,554,1,105,4,2
290,982,1,145,4,3
291,982,1,145,4,3
292,554,1,105,4,2
293,272,0,60,4,1
294,554,1,105,4,2
295,182,0,48,4,1
296,982,1,145,4,3
297,554,1,105,4,2
298,982,1,145,4,3
299,982,1,145,4,3
300,982,1,145,4,3
301,982,1,145,4,3
302,182,0,48,4,1
303,272,0,60,4,1
304,554,1,105,4,2
305,982,1,145,4,3
306,272,0,60,4,1
307,982,1,145,4,3
308,554,1,105,4,2
309,272,0,60,4,1
310,982,1,145,4,3
311,982,1,145,4,3
312,554,1,105,4,2
313,272,0,60,4,1
314,982,1,145,4,3
315,982,1,145,4,3
316,272,0,60,4,1
317,982,1,145,4,3
318,982,1,145,4,3
319,554,1,105,4,2
320,554,1,105,4,2
321,982,1,145,4,3
322,272,0,60,4,1
323,554,1,105,4,2
324,1804,1,209,4,4
325,554,1,105,4,2
326,554,1,105,4,2
327,554,1,105,4,2
328,982,1,145,4,3
329,982,1,145,4,3
330,982,1,145,4,3
331,554,1,105,4,2
332,982,1,145,4,3
333,272,0,60,4,1
334,554,1,105,4,2
335,554,1,105,4,2
336,982,1,145,4,4
337,272,0,60,4,2
338,272,0,60,4,2
339,554,1,105,4,3
340,554,1,105,4,3
341,982,1,145,4,4
342,272,0,60,4,2
343,554,1,105,4,3
344,272,0,60,4,1
345,982,1,145,4,3
346,554,1,105,4,3
347,554,1,105,4,3
348,554,1,105,4,2
349,554,1,105,4,2
350,554,1,105,4,2
351,272,0,60,4,1
352,554,1,105,4,2
353,982,1,145,4,3
354,554,1,105,4,2
355,554,1,105,4,2
356,554,1,105,4,2
357,554,1,105,4,2
358,554,1,105,4,2
359,554,1,105,4,2
360,554,1,105,4,2
361,982,1,145,4,3
362,554,1,105,4,2
363,554,1,105,4,2
364,554,1,105,4,2
365,272,0,60,4,1
366,554,1,105,4,2
367,554,1,105,4,2
368,554,1,105,4,2
369,982,1,145,4,3
370,554,1,105,4,2
371,982,1,145,4,3
372,982,1,145,4,3
373,982,1,145,4,3
374,982,1,145,4,3
375,554,1,105,4,2
376,554,1,105,4,2
377,554,1,105,4,2
378,272,0,60,4,1
379,554,1,105,4,2
380,554,1,105,4,2
381,554,1,105,4,2
382,982,1,145,4,3
383,982,1,145,4,3
384,554,1,105,4,2
385,554,1,105,4,2
386,982,1,145,4,3
387,554,1,105,4,2
388,148,0,40,4,0
389,554,1,105,4,2
390,982,1,145,4,3
391,982,1,145,4,3
392,554,1,105,4,2
393,554,1,105,4,2
394,982,1,145,4,3
395,554,1,105,4,2
396,554,1,105,4,2
397,982,1,145,4,3
398,982,1,145,4,3
399,982,1,145,4,3
400,554,1,105,4,2
401,554,1,105,4,2
402,554,1,105,4,3
403,272,0,60,4,1
404,982,1,145,4,3
405,554,1,105,4,3
406,554,1,105,4,3
407,982,1,145,4,4
408,272,0,60,4,2
409,182,0,48,4,1
410,982,1,145,4,4
411,982,1,145,4,4
412,554,1,105,4,3
413,982,1,145,4,4
414,982,1,145,4,4
415,554,1,105,4,3
416,982,1,145,4,4
417,272,0,60,4,2
418,982,1,145,4,4
419,982,1,145,4,5
420,554,1,105,4,3
421,982,1,145,4,4
422,272,0,60,4,2
423,554,1,105,4,3
424,554,1,105,4,3
425,272,0,60,4,2
426,982,1,145,4,4
427,272,0,60,4,2
428,982,1,145,4,4
429,982,1,145,4,4
430,982,1,145,4,5
431,554,1,105,4,4
432,982,1,145,4,4
433,982,1,145,4,4
434,982,1,145,4,4
435,982,1,145,4,4
436,554,1,105,4,3
437,554,1,105,4,3
438,554,1,105,4,3
439,982,1,145,4,4
440,554,1,105,4,3
441,982,1,145,4,4
442,982,1,145,4,4
443,982,1,145,4,4
444,1473,1,207,5,6
445,2295,1,271,5,9
446,3477,1,343,5,12
447,377,0,82,5,1
448,513,0,98,5,2
449,3477,1,343,5,9
450,3477,1,343,5,9
451,1473,1,207,5,5
452,3477,1,343,5,8
453,1473,1,207,5,5
454,3477,1,343,5,9
455,837,1,151,5,3
456,837,1,151,5,4
457,837,1,151,5,4
458,1473,1,207,5,4
459,3477,1,343,5,9
460,309,0,70,5,1
461,1473,1,207,5,5
462,309,0,70,5,1
463,399,0,86,5,2
464,837,1,151,5,3
465,1473,1,207,5,5
466,309,0,70,5,1
467,837,1,151,5,3
468,513,0,98,5,2
469,3477,1,343,5,8
470,1473,1,207,5,4
471,837,1,151,5,3
472,1473,1,207,5,5
473,3477,1,343,5,9
474,1473,1,207,5,5
475,3477,1,343,5,9
476,1473,1,207,5,5
477,1473,1,207,5,4
478,3477,1,343,5,8
479,309,0,70,5,1
480,1473,1,207,5,4
481,513,0,98,5,2
482,3477,1,343,5,8
483,3477,1,343,5,8
484,3477,1,343,5,8
485,837,1,151,5,3
486,219,0,58,5,1
487,309,0,70,5,1
488,837,1,151,5,3
489,1473,1,207,5,5
490,513,0,98,5,2
491,1268,0,166,5,4
492,2295,1,271,5,6
493,513,0,98,5,2
494,309,0,70,5,2
495,513,0,98,5,2
496,1473,1,207,5,5
497,837,1,151,5,3
498,781,0,126,5,2
499,399,0,86,5,2
500,3477,1,343,5,8
501,3477,1,343,5,8
502,513,0,98,5,2
503,837,1,151,5,3
504,513,0,98,5,1
505,1473,1,207,5,4
506,1473,1,207,5,4
507,309,0,70,5,1
508,3477,1,343,5,7
509,1473,1,207,5,4
510,837,1,151,5,2
511,309,0,70,5,2
512,1473,1,207,5,4
513,837,1,151,5,2
514,781,0,126,5,2
515,1473,1,207,5,3
516,1473,1,207,5,3
517,781,0,126,5,2
518,1473,1,207,5,3
519,781,0,126,5,2
520,1123,1,183,5,3
521,1473,1,207,5,4
522,1473,1,207,5,4
523,781,0,126,5,2
524,837,1,151,5,2
525,1473,1,207,5,4
526,343,0,78,5,1
527,513,0,98,5,1
528,1473,1,207,5,3
529,837,1,151,5,2
530,1473,1,207,5,4
531,309,0,70,5,1
532,3477,1,343,5,7
533,1473,1,207,5,3
534,837,1,151,5,2
535,513,0,98,5,1
536,837,1,151,5,2
537,1473,1,207,5,3
538,1473,1,207,5,3
539,1473,1,207,5,3
540,1473,1,207,5,3
541,1473,1,207,5,3
542,1473,1,207,5,4
543,837,1,151,5,3
544,3477,1,343,5,7
545,837,1,151,5,2
546,1473,1,207,5,4
547,309,0,70,5,1
548,3477,1,343,5,7
549,309,0,70,5,1
550,1473,1,207,5,3
551,837,1,151,5,2
552,3477,1,343,5,7
553,219,0,58,5,1
554,1473,1,207,5,3
555,837,1,151,5,2
556,1473,1,207,5,4
557,3477,1,343,5,9
558,1473,1,207,5,4
559,837,1,151,5,3
560,781,0,126,5,2
561,513,0,98,5,1
562,837,1,151,5,3
563,781,0,126,5,2
564,1473,1,207,5,4
565,513,0,98,5,1
566,837,1,151,5,2
567,837,1,151,5,2
568,1473,1,207,5,3
569,1473,1,207,5,4
570,3477,1,343,5,7
571,513,0,98,5,1
572,1473,1,207,5,3
573,781,0,126,5,2
574,1473,1,207,5,3
575,3477,1,343,5,7
576,1473,1,207,5,3
577,663,0,114,5,1
578,781,0,126,5,2
579,219,0,58,5,1
580,1473,1,207,5,3
581,1473,1,207,5,3
582,3477,1,343,5,7
583,1473,1,207,5,3
584,1473,1,207,5,3
585,1473,1,207,5,4
586,377,0,82,5,1
587,837,1,151,5,2
588,1473,1,207,5,3
589,1473,1,207,5,3
590,837,1,151,5,2
591,3477,1,343,5,7
592,1473,1,207,5,4
593,837,1,151,5,4
594,1473,1,207,5,6
595,837,1,151,5,4
596,837,1,151,5,4
597,513,0,98,5,2
598,309,0,70,5,2
599,309,0,70,5,1
600,3477,1,343,5,11
601,3477,1,343,5,11
602,1473,1,207,5,6
603,781,0,126,5,3
604,1473,1,207,5,6
605,1473,1,207,5,6
606,1473,1,207,5,6
607,513,0,98,5,2
608,377,0,82,5,2
609,837,1,151,5,4
610,1473,1,207,5,6
611,219,0,58,5,1
612,1473,1,207,5,6
613,1473,1,207,5,6
614,837,1,151,5,4
615,837,1,151,5,4
616,2295,1,271,5,8
617,837,1,151,5,4
618,837,1,151,5,4
619,837,1,151,5,4
620,1473,1,207,5,6
621,1473,1,207,5,6
622,837,1,151,5,4
623,309,0,70,5,2
624,837,1,151,5,4
625,309,0,70,5,2
626,3477,1,343,5,11
627,1473,1,207,5,6
628,219,0,58,5,2
629,837,1,151,5,4
630,3477,1,343,5,11
631,3477,1,343,5,11
632,837,1,151,5,4
633,513,0,98,5,2
634,377,0,82,5,2
635,1473,1,207,5,6
636,1473,1,207,5,6
637,1473,1,207,5,6
638,1473,1,207,5,6
639,837,1,151,5,4
640,3477,1,343,5,11
641,1473,1,207,5,6
642,377,0,82,5,2
643,837,1,151,5,4
644,837,1,151,5,4
645,3477,1,343,5,12
646,1473,1,207,5,13
647,1473,1,207,5,10
648,3477,1,343,5,15
649,513,0,98,5,6
650,3477,1,343,5,21
651,1473,1,207,5,10
652,309,0,70,5,3
653,781,0,126,5,5
654,1473,1,207,5,9
655,1473,1,207,5,9
656,1473,1,207,5,9
657,837,1,151,5,5
658,3477,1,343,5,13
659,1964,1,269,6,13
660,1120,1,197,6,8
661,4528,1,437,6,22
662,1964,1,269,6,11
663,1756,1,253,6,11
664,1964,1,269,6,11
665,1964,1,269,6,12
666,966,0,156,6,6
667,2904,1,341,6,13
668,12108,1,797,6,28
669,550,0,108,6,2
670,4528,1,437,6,23
671,1756,1,253,6,12
672,1756,1,253,6,15
673,4528,1,437,6,25
674,12108,1,797,6,53
675,1964,1,269,6,13
676,2904,1,341,6,16
677,1756,1,253,6,15
678,470,0,100,6,4
679,4528,1,437,6,22
680,1756,1,253,6,14
681,726,0,132,6,7
682,12108,1,797,6,48
683,1120,1,197,6,9
684,1964,1,269,6,12
685,640,0,128,6,5
686,1964,1,269,6,6
687,4528,1,437,6,12
688,550,0,108,6,2
689,550,0,108,6,2
690,2904,1,341,6,9
691,2904,1,341,6,9
692,1964,1,269,6,7
693,290,0,76,6,2
694,346,0,80,6,1
695,470,0,100,6,2
696,482,0,104,6,2
697,2904,1,341,6,9
698,1230,0,180,6,4
699,1756,1,253,6,6
700,470,0,100,6,2
701,12108,1,797,6,29
702,12108,1,797,6,41
703,2904,1,341,6,15
704,2904,1,341,6,16
705,1068,0,168,6,7
706,2904,1,341,6,15
707,550,0,108,6,4
708,2904,1,341,6,9
709,346,0,80,6,2
710,358,0,92,6,2
711,618,0,120,6,4
712,1756,1,253,6,12
713,1756,1,253,6,11
714,1964,1,269,6,12
715,2904,1,341,6,15
716,1964,1,269,6,12
717,790,0,140,6,6
718,618,0,120,6,5
719,2904,1,341,6,16
720,1120,1,197,6,5
721,2578,1,317,6,11
722,730,0,140,6,8
723,640,0,124,6,7
724,4528,1,437,6,28
725,346,0,80,6,4
726,2904,1,341,6,19
727,1964,1,269,6,15
728,1964,1,269,6,12
729,1964,1,269,6,15
730,4528,1,437,6,18
731,414,0,92,6,2
732,4528,1,437,6,21
733,414,0,92,6,2
734,550,0,108,6,2
735,2904,1,341,6,9
736,448,0,100,6,2
737,448,0,100,6,2
738,4528,1,437,6,12
739,4528,1,437,6,12
740,550,0,108,6,2
741,966,0,156,6,6
742,1120,1,197,6,8
743,1120,1,197,6,6
744,1120,1,197,6,4
745,618,0,120,6,5
746,618,0,120,6,3
747,4528,1,437,6,15
748,1756,1,253,6,10
749,618,0,120,6,4
750,1230,0,180,6,4
751,966,0,156,6,6
752,1964,1,269,6,10
753,550,0,108,6,3
754,550,0,108,6,2
755,4528,1,437,6,12
756,966,0,156,6,8
757,1120,1,197,6,11
758,1964,1,269,6,15
759,1120,1,197,6,5
760,4528,1,437,6,26
761,4528,1,437,6,12
762,414,0,92,6,5
763,4528,1,437,6,16
764,4528,1,437,6,12
765,1964,1,269,6,12
766,290,0,76,6,5
767,482,0,104,6,2
768,470,0,100,6,5
769,1964,1,269,6,12
770,1964,1,269,6,10
771,2904,1,341,6,12
772,4528,1,437,6,14
773,12108,1,797,6,28
774,4528,1,437,6,14
775,1964,1,269,6,7
776,1120,1,197,6,9
777,470,0,100,6,4
778,550,0,108,6,4
779,1964,1,269,6,7
780,1964,1,269,6,12
781,1964,1,269,6,12
782,1964,1,269,6,7
783,482,0,104,6,2
784,550,0,108,6,4
785,1964,1,269,6,12
786,470,0,100,6,4
787,1756,1,253,6,8
788,618,0,120,6,3
789,891,0,142,6,5
790,1756,1,253,6,7
791,470,0,100,6,2
792,1756,1,253,6,7
793,1756,1,253,6,7
794,1964,1,269,6,8
795,1120,1,197,6,5
796,4528,1,437,6,9
797,2904,1,341,6,7
798,1756,1,253,6,5
799,4528,1,437,6,9
800,414,0,92,6,1
801,1230,0,180,6,3
802,1964,1,269,6,5
803,1230,0,180,6,3
804,436,0,96,6,1
805,1756,1,253,6,4
806,1964,1,269,6,5
807,1964,1,269,6,5
808,818,0,136,6,2
809,4528,1,437,6,9
810,4528,1,437,6,9
811,4528,1,437,6,9
812,550,0,108,6,1
813,380,0,88,6,1
814,380,0,88,6,1
815,482,0,104,6,1
816,1120,1,197,6,3
817,1756,1,253,6,4
818,3726,1,405,6,8
819,1756,1,253,6,4
820,1756,1,253,6,4
821,1230,0,180,6,2
822,414,0,96,6,1
823,4528,1,437,6,9
824,1756,1,253,6,4
825,1964,1,269,6,5
826,726,0,132,6,2
827,4528,1,437,6,9
828,4528,1,437,6,9
829,2904,1,341,6,6
830,4528,1,437,6,9
831,1756,1,253,6,4
832,1964,1,269,6,5
833,1964,1,269,6,5
834,1230,0,180,6,3
835,2904,1,341,6,7
836,4528,1,437,6,9
837,2904,1,341,6,6
838,1120,1,197,6,3
839,1964,1,269,6,5
840,1964,1,269,6,5
841,436,0,96,6,1
842,3726,1,405,6,8
843,4528,1,437,6,9
844,1756,1,253,6,4
845,4397,0,392,6,8
846,7271,1,635,7,14
847,1523,0,222,7,3
848,2039,1,299,7,6
849,2675,1,355,7,7
850,3395,1,403,7,8
851,1267,0,190,7,3
852,4811,1,483,7,10
853,587,0,118,7,1
854,2675,1,355,7,7
855,41531,1,1827,7,78
856,3395,1,403,7,8
857,2039,1,299,7,6
858,791,0,146,7,2
859,889,0,154,7,2
860,2799,0,318,7,5
861,14711,1,955,7,27
862,2247,1,315,7,6
863,2799,0,318,7,5
864,3395,1,403,7,8
865,1403,1,243,7,4
866,1335,0,202,7,3
867,1335,0,202,7,3
868,7271,1,635,7,14
869,881,0,162,7,2
870,587,0,126,7,1
871,2247,1,315,7,6
872,2675,1,355,7,7
873,587,0,118,7,2
874,383,0,90,7,1
875,4811,1,483,7,11
876,1139,0,186,7,3
877,473,0,106,7,1
878,7607,0,594,7,13
879,417,0,98,7,1
880,14711,1,955,7,26
881,677,0,134,7,2
882,5579,1,531,7,11
883,7271,1,635,7,14
884,767,0,150,7,2
885,2455,1,331,7,6
886,3395,1,403,7,8
887,541,0,118,7,2
888,2247,1,315,7,6
889,2247,1,315,7,6
890,1575,0,222,7,3
891,4811,1,483,7,11
892,7271,1,635,7,15
893,2741,1,363,7,7
894,1361,0,182,7,3
895,1013,0,174,7,2
896,797,0,150,7,2
897,5579,1,531,7,12
898,2247,1,315,7,6
899,619,0,130,7,2
900,979,0,166,7,2
901,3395,1,403,7,8
902,791,0,146,7,2
903,655,0,130,7,2
904,7271,1,635,7,14
905,485,0,110,7,1
906,2861,1,363,7,7
907,4811,1,483,7,11
908,2039,1,299,7,5
909,2675,1,355,7,7
910,801,0,154,7,2
911,4811,1,483,7,10
912,655,0,130,7,2
913,2247,1,315,7,6
914,791,0,146,7,2
915,4811,1,483,7,10
916,7271,1,635,7,15
917,1267,0,190,7,3
918,723,0,142,7,2
919,1759,0,242,7,3
920,5579,1,531,7,12
921,2455,1,331,7,6
922,1003,0,166,7,2
923,1403,1,243,7,4
924,2247,1,315,7,6
925,609,0,130,7,2
926,1573,0,230,7,3
927,791,0,146,7,2
928,3395,1,403,7,8
929,2247,1,315,7,6
930,967,0,170,7,2
931,2247,1,315,7,6
932,1415,0,210,7,3
933,2247,1,315,7,6
934,3395,1,403,7,8
935,2039,1,299,7,6
936,2455,1,331,7,6
937,911,0,162,7,2
938,1267,0,190,7,3
939,1267,0,190,7,3
940,791,0,146,7,2
941,1003,0,166,7,2
942,1013,0,174,7,2
943,2247,1,315,7,6
944,2039,1,299,7,5
945,655,0,130,7,2
946,1759,0,242,7,3
947,745,0,146,7,2
948,2675,1,355,7,7
949,417,0,98,7,1
950,767,0,150,7,2
951,4811,1,483,7,10
952,541,0,118,7,1
953,767,0,150,7,2
954,575,0,122,7,1
955,1759,0,242,7,3
956,791,0,146,7,2
957,1415,0,210,7,3
958,7271,1,635,7,15
959,7271,1,635,7,14
960,1887,0,246,7,4
961,2247,1,315,7,6
962,2247,1,315,7,6
963,2455,1,331,7,6
964,5579,1,531,7,12
965,1357,0,206,7,3
966,1887,0,246,7,4
967,2247,1,315,7,6
968,1267,0,190,7,3
969,4811,1,483,7,10
970,7271,1,635,7,15
971,14711,1,955,7,27
972,3395,1,403,7,8
973,3395,1,403,7,8
974,3395,1,403,7,8
975,797,0,150,7,2
976,14711,1,955,7,28
977,7271,1,635,7,15
978,5579,1,531,7,11
979,889,0,154,7,2
980,1415,0,210,7,3
981,5579,1,531,7,12
982,2247,1,315,7,6
983,3395,1,403,7,8
984,14711,1,955,7,27
985,1523,0,222,7,3
986,8093,1,699,7,17
987,791,0,146,7,2
988,7271,1,635,7,15
989,2530,1,361,8,7
990,2280,0,292,8,5
991,8322,1,729,8,18
992,20942,1,1281,8,38
993,1440,0,224,8,3
994,17463,0,1048,8,29
995,3166,1,417,8,9
996,1488,0,232,8,3
997,2530,1,361,8,7
998,5730,1,585,8,13
999,896,0,168,8,2
1000,8322,1,729,8,17
1001,20942,1,1281,8,38
1002,2530,1,361,8,7
1003,5862,1,577,8,13
1004,1256,0,208,8,3
1005,1256,0,208,8,3
1006,2496,0,304,8,5
1007,828,0,164,8,2
1008,3886,1,465,8,10
1009,1520,0,232,8,3
1010,2604,0,312,8,5
1011,5862,1,577,8,13
1012,3622,0,396,8,7
1013,1122,0,200,8,3
1014,578,0,128,8,2
1015,5730,1,585,8,13
1016,3808,0,404,8,7
1017,2530,1,361,8,7
1018,692,0,140,8,2
1019,14838,1,1057,8,36
1020,5730,1,585,8,21
1021,668,0,144,8,4
1022,986,0,184,8,4
1023,828,0,164,8,4
1024,2530,1,361,8,12
1025,714,0,144,8,4
1026,1684,0,252,8,7
1027,1508,0,228,8,6
1028,1050,0,184,8,5
1029,1864,0,264,8,7
1030,1324,0,216,8,5
1031,17314,1,1113,8,46
1032,1972,0,276,8,7
1033,20942,1,1281,8,58
1034,1072,0,192,8,5
1035,488,0,116,8,3
1036,1124,0,196,8,5
1037,1716,0,244,8,6
1038,770,0,168,8,4
1039,658,0,144,8,3
1040,8322,1,729,8,27
1041,804,0,160,8,4
1042,3166,1,417,8,13
1043,1868,0,260,8,7
1044,3678,1,449,8,15
1045,6630,1,625,8,22
1046,6636,1,641,8,22
1047,2244,0,296,8,5
1048,782,0,156,8,2
1049,1520,0,232,8,3
1050,3166,1,417,8,9
1051,14838,1,1057,8,29
1052,680,0,148,8,2
1053,1188,0,196,8,3
1054,960,0,172,8,2
1055,1520,0,232,8,3
1056,20942,1,1281,8,37
1057,1176,0,200,8,3
1058,5094,1,529,8,12
1059,17314,1,1113,8,32
1060,1114,0,196,8,3
1061,454,0,108,8,1
1062,3886,1,465,8,9
1063,2738,1,377,8,8
1064,668,0,144,8,2
1065,5094,1,529,8,12
1066,2836,0,328,8,6
1067,690,0,144,8,2
1068,1542,0,236,8,3
1069,918,0,172,8,2
1070,3886,1,465,8,10
1071,2530,1,361,8,7
1072,2530,1,361,8,7
1073,2604,0,312,8,6
1074,5862,1,577,8,13
1075,3352,1,425,8,9
1076,658,0,136,8,2
1077,760,0,152,8,3
1078,1016,0,184,8,3
1079,17314,1,1113,8,33
1080,2530,1,361,8,7
1081,5455,0,492,8,10
1082,8322,1,729,8,18
1083,1686,1,289,8,6
1084,3192,0,364,8,7
1085,1222,0,204,8,3
1086,5862,1,577,8,13
1087,1122,0,200,8,3
1088,1054,0,188,8,3
1089,454,0,108,8,1
1090,3886,1,465,8,9
1091,1452,0,220,8,3
1092,5862,1,577,8,13
1093,17314,1,1113,8,33
1094,804,0,160,8,2
1095,816,0,164,8,2
1096,7762,1,697,8,17
1097,7762,1,697,8,18
1098,760,0,152,8,2
1099,5324,1,545,8,13
1100,5862,1,577,8,13
1101,14838,1,1057,8,29
1102,896,0,168,8,2
1103,3244,0,368,8,7
1104,5956,0,536,8,11
1105,1468,0,228,8,4
1106,488,0,116,8,2
1107,20942,1,1281,8,41
1108,8322,1,729,8,24
1109,454,0,108,8,2
1110,1164,0,196,8,4
1111,974,0,180,8,4
1112,926,0,164,8,3
1113,14994,1,1001,8,36
1114,5094,1,529,8,16
1115,14994,1,1001,8,37
1116,8322,1,729,8,20
1117,1944,0,272,8,4
1118,1452,0,220,8,7
1119,1488,0,232,8,5
1120,488,0,116,8,2
1121,3886,1,465,8,13
1122,5730,1,585,8,17
1123,1669,0,278,9,5
1124,887,0,178,9,4
1125,1189,0,210,9,4
1126,15913,1,1103,9,41
1127,8605,1,775,9,25
1128,8597,0,682,9,27
1129,1025,0,194,9,7
1130,1869,0,282,9,10
1131,21433,1,1343,9,72
1132,1559,0,250,9,5
1133,2675,0,330,9,7
1134,1625,0,254,9,7
1135,8253,1,759,9,34
1136,5317,1,599,9,25
1137,1079,0,202,9,4
1138,9373,1,823,9,27
1139,1001,0,190,9,4
1140,1279,0,226,9,5
1141,1783,0,274,9,6
1142,841,0,170,9,7
1143,3355,0,386,9,16
1144,841,0,178,9,8
1145,30607,1,1695,9,93
1146,2675,0,330,9,8
1147,3297,0,386,9,9
1148,1189,0,210,9,5
1149,1707,0,270,9,6
1150,829,0,174,9,4
1151,4597,1,551,9,16
1152,1613,0,250,9,6
1153,1225,0,206,9,5
1154,1269,0,218,9,5
1155,1201,0,206,9,4
1156,1869,0,282,9,6
1157,4559,0,478,9,12
1158,2829,0,354,9,8
1159,1195,0,214,9,4
1160,2637,0,342,9,8
1161,1349,0,226,9,5
1162,751,0,166,9,3
1163,559,0,134,9,3
1164,5317,1,599,9,17
1165,6781,1,679,9,21
1166,1869,0,282,9,6
1167,2207,0,314,9,7
1168,2813,1,407,9,11
1169,1001,0,190,9,4
1170,491,0,118,9,2
1171,3031,0,366,9,9
1172,4377,1,527,9,15
1173,10941,0,834,9,24
1174,1691,0,262,9,6
1175,1693,0,258,9,5
1176,4597,1,551,9,16
1177,8605,1,775,9,25
1178,4169,1,511,9,14
1179,3657,1,479,9,13
1180,807,0,170,9,3
1181,841,0,178,9,3
1182,8813,1,791,9,25
1183,933,0,186,9,4
1184,8785,1,815,9,26
1185,1477,0,234,9,5
1186,3657,1,479,9,13
1187,2931,0,366,9,8
1188,1613,0,250,9,5
1189,9193,1,831,9,26
1190,23545,1,1439,9,57
1191,1451,0,238,9,5
1192,1065,0,198,9,4
1193,927,0,178,9,4
1194,2829,0,354,9,8
1195,2813,1,407,9,11
1196,1499,0,238,9,5
1197,1001,0,190,9,4
1198,3349,0,390,9,9
1199,1647,0,258,9,5
1200,933,0,178,9,3
1201,1901,0,274,9,6
1202,6244,0,540,9,15
1203,4018,0,448,10,11
1204,3940,1,525,10,15
1205,1304,0,240,10,5
1206,5808,1,661,10,20
1207,8328,1,789,10,26
1208,1820,0,284,10,6
1209,3098,0,396,10,9
1210,4500,0,464,10,11
1211,924,0,188,10,4
1212,720,0,160,10,3
1213,2974,0,404,10,9
1214,16172,1,1197,10,44
1215,1664,0,276,10,6
1216,2234,0,324,10,7
1217,4368,1,565,10,17
1218,1974,0,304,10,7
1219,7294,0,672,10,17
1220,3402,0,408,10,8
1221,4148,1,541,10,13
1222,1396,0,244,10,4
1223,3732,1,509,10,13
1224,924,0,188,10,3
1225,2554,0,352,10,6
1226,652,0,148,10,2
1227,844,0,188,10,3
1228,3940,1,525,10,12
1229,1184,0,224,10,3
1230,4660,1,573,10,13
1231,3602,0,432,10,8
1232,4660,1,573,10,12
1233,1612,0,268,10,4
1234,1044,0,208,10,3
1235,12116,1,1021,10,26
1236,562,0,136,10,3
1237,766,0,164,10,4
1238,1566,0,264,10,6
1239,1374,0,240,10,4
1240,5808,1,661,10,15
1241,18516,1,1261,10,38
1242,800,0,168,10,2
1243,742,0,164,10,2
1244,1362,0,240,10,6
1245,3486,0,424,10,8
1246,1544,0,256,10,5
1247,902,0,176,10,3
1248,1974,0,304,10,5
1249,866,0,184,10,3
1250,2448,0,352,10,6
1251,1150,0,220,10,3
1252,3940,1,525,10,12
1253,39240,1,2117,10,76
1254,1060,0,204,10,3
1255,4660,1,573,10,13
1256,4452,1,557,10,13
1257,3238,0,412,10,7
1258,742,0,164,10,2
1259,1156,0,220,10,3
1260,708,0,160,10,2
1261,3730,0,424,10,8
1262,1372,0,244,10,4
1263,3940,1,525,10,12
1264,2500,0,356,10,6
1265,2714,0,372,10,6
1266,1124,0,204,10,3
1267,686,0,156,10,2
1268,924,0,196,10,3
1269,4452,1,557,10,13
1270,1532,0,260,10,4
1271,15560,1,1093,10,32